On Morrison’s definite integral

نویسندگان
چکیده

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

Integral Representations of Positive Definite Matrix-valued Distributions on Cylinders

The notion of a <7-continuous matrix-valued positive definite distribution on 5/v(2a) x RM x G is introduced, where G is an abelian separable locally compact group and where Sp/(2a) is an open ball around zero in RA' with radius la > 0 . This notion generalizes that one of strongly continuous positive definite operator-valued functions. For these objects, a Bochner-type theorem gives a suitable...

متن کامل

Definite Integrals using Orthogonality and Integral Transforms

We obtain definite integrals for products of associated Legendre functions with Bessel functions, associated Legendre functions, and Chebyshev polynomials of the first kind using orthogonality and integral transforms.

متن کامل

Scalar Multiple of Riemann Definite Integral

We adopt the following rules: r, x, y are real numbers, i, j are natural numbers, and p is a finite sequence of elements of R. The following proposition is true (1) For every closed-interval subset A of R and for every x holds x ∈ A iff inf A ¬ x and x ¬ supA. Let I1 be a finite sequence of elements of R. We say that I1 is non-decreasing if and only if the condition (Def. 1) is satisfied. (Def....

متن کامل

2-universal Positive Definite Integral Quinary Quadratic Forms

As a generalization of the famous four square theorem of Lagrange, Ramanujan and Willerding found all positive definite integral quaternary quadratic forms that represent all positive integers. In this paper, we find all positive definite integral quinary quadratic forms that represent all positive definite integral binary quadratic forms. We also discuss recent results on positive definite int...

متن کامل

VSDITLU: a verifiable symbolic definite integral table look-up

We present a verifiable symbolic definite integral table look-up: a system which matches a query, comprising a definite integral with parameters and side conditions, against an entry in a verifiable table and uses a call to a library of facts about the reals in the theorem prover PVS to aid in the transformation of the table entry into an answer. Our system is able to obtain correct answers in ...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Aequationes mathematicae

سال: 2015

ISSN: 0001-9054,1420-8903

DOI: 10.1007/s00010-015-0355-1